Constraint logic programming - PDFSEARCH.IO - Document Search Engine

Constraint logic programming
Results: 401

#	Item
311	Towards Pattern-based Reasoning for Friendly Ontology Debugging Add to Reading List Source URL: linc.ucy.ac.cy Language: English - Date: 2013-07-16 07:30:34 Computing Computer programming Object-Role Modeling Satisfiability EXPRESS Constraint Subtype polymorphism DogmaModeler Constraint logic programming Software engineering Constraint programming Data modeling
312	Resourceful Reachability as HORN-LA Josh Berdine, Nikolaj Bjørner, Samin Ishtiaq, Jael E. Kriener, and Christoph M. Wintersteiger Microsoft Research; University of Kent Abstract. The program verification tool SLAyer us Add to Reading List Source URL: www.winterstiger.at Language: English - Date: 2014-05-21 11:37:06 Formal methods Logic in computer science NP-complete problems Constraint programming Satisfiability Modulo Theories Vehicle Identification Number FO Theoretical computer science Applied mathematics Electronic design automation
313	Combining RCC-8 with Qualitative Direction Calculi: Algorithms and Complexity ∗ Weiming Liu1 and Sanjiang Li1,2† and Jochen Renz3 1 State Key Laboratory of Intelligent Technology and Systems, TNLIST, Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2009-06-11 03:18:18 Science Constraint programming Deduction Computational topology Region connection calculus Spatial–temporal reasoning Entailment Dimensional analysis Logic Cognitive science Knowledge representation
314	Logic Programming Introduction Temur Kutsia Research Institute for Symbolic Computation Johannes Kepler University of Linz, Austria [removed] Add to Reading List Source URL: www.risc.jku.at Language: English - Date: 2011-10-05 08:12:04 Programming paradigms Constraint programming Prolog Logic programming YAP Declarative programming Software engineering Computer programming Computing
315	Dear Colleague, ‘Constraints in Bioinformatics’, a new thematic series from Algorithms for Molecular Biology is now accepting submissions. The technology of Constraint and Constraint Logic Programming has shown to be Add to Reading List Source URL: media.biomedcentral.com Language: English - Date: 2014-06-30 12:33:13 Science Constraint programming Bioengineering Computational biology Mathematical and theoretical biology Constraint logic programming Protein structure prediction Biology Bioinformatics Applied mathematics
316	Next Generation Logic Programming Systems Gopal Gupta In the last 30 years logic programming (LP), with Prolog as the most representative logic programming language, has emerged as a powerful paradigm for intelligent rea Add to Reading List Source URL: www.utdallas.edu Language: English - Date: 2003-09-24 11:15:53 Declarative programming Constraint programming Reasoning Automated theorem proving Programming paradigms Prolog Reasoning system Logic Constraint logic programming Software engineering Artificial intelligence Logic programming
317	Logic, Programming and Prolog (Supplement) Ulf Nilsson Dept of Computer and Information Science Link¨oping University [removed] Add to Reading List Source URL: ima.udg.edu Language: English - Date: 2007-02-12 09:49:53 Computing Constraint logic programming Prolog Function Finitary relation Mathematical optimization B-Prolog Constraint satisfaction Constraint programming Software engineering Computer programming
318	From Prolog and Zelda to ToonTalk Ken Kahn Animated Programs 49 Fay Avenue, San Carlos, CA 94070, USA [removed] This paper will appear in the Proceedings of the International Conference on Logic Add to Reading List Source URL: www.toontalk.com Language: English - Date: 2008-04-09 17:13:07 Programming paradigms ToonTalk Constraint programming Janus Prolog Logic programming Append Robot Programming language Software engineering Computing Computer programming
319	SICStus Prolog User’s Manual Mats Carlsson et al. Swedish Institute of Computer Science PO Box 1263 SE[removed]Kista, Sweden Release[removed] Add to Reading List Source URL: sicstus.sics.se Language: English - Date: 2011-05-10 07:45:09 Constraint programming Prolog Linda Emacs Logic programming Exception handling Debugging Breakpoint Backtracking Computing Software Programming paradigms
320	From Computing with Numbers to Computing with Words − From Manipulation of Measurements to Manipulation of Perceptions* Lotfi A. Zadeh Professor in the Graduate School and Director, Berkeley Initiative in Soft Computin Add to Reading List Source URL: www-bisc.cs.berkeley.edu Language: English - Date: 2001-07-12 20:06:36 Science Artificial intelligence Logic in computer science Non-classical logic Computing with words and perceptions Lotfi A. Zadeh Fuzzy set Constraint programming Fuzzy rule Logic Fuzzy logic Mathematical logic

UPDATE